…ation

Fix zir assembly propagation

Fix typos

…uction

Propagate embed call in reducer

…okrates#1312)

* Fixed a small typo, the right bracket next to bitwidth was mistyped.

* Update types.md

Change the '[' to ')'.

Fix constant in mimc7

…cuit

Short circuit on constant branch conditions

…nment

Allow composite field type in witness assignment

Detect division by zero in typed propagation

This reverts commit a741f9e.

… other curves